Cut-elimination theorem

#	Item
51	1 An Overview of Linear Logic Programming Dale Miller Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2003-09-29 10:45:32 Proof theory Linear logic Logic programming Sequent Natural deduction Intuitionistic logic Cut-elimination theorem Interpretation Well-formed formula Logic Mathematical logic Mathematics
52	PDF Document Add to Reading List Source URL: www.mi.sanu.ac.rs Language: English - Date: 2011-12-12 18:08:14 Deduction Non-classical logic Propositional calculus Metalogic Sequent Natural deduction Entailment Cut-elimination theorem Deduction theorem Logic Mathematical logic Proof theory
53	PDF Document Add to Reading List Source URL: www.icm2006.org Language: English - Date: 2013-10-02 08:04:05 Logic Ordinal numbers Ordinal analysis Gerhard Gentzen Cut-elimination theorem Natural deduction Limit ordinal Sequent calculus Constructible universe Mathematical logic Mathematics Proof theory